Nuprl Definition : f2f+SDcdr 11,40
S_dcdr == (f2f+.2.2.2.2.2.2.2.2.2.2).1 
latex

clarification:

f2f+SDcdr(f2f+) == (f2f+.2.2.2.2.2.2.2.2.2.2).1 
latex

Definitionst.1, t.2
FDL editor aliasesf2f+SDcdr

origin